High Assurance System Software
نویسندگان
چکیده
This paper describes an approach to developing high assurance system software. We demonstrate how different formal methods can be applied in the development process by matching specific techniques and tools to the different levels of system requirements and how those techniques can complement each other.
منابع مشابه
Certifying Software for High-Assurance Environments
Software certi cation processes have become so intertwined with development processes that true product certi cation which should demonstrate that the software will behave appro priately is almost never employed This de ciency calls for a new generation of certi cation processes This paper presents a methodology for certifying software systems that will be em ployed in environments with high as...
متن کاملAssurance cases and prescriptive software safety certification: A comparative study
In safety–critical applications, it is necessary to justify, prior to deployment, why software behaviour is to be trusted. This is normally referred to as software safety assurance. Within certification standards, developers demonstrate this by appealing to the satisfaction of objectives that the safety assurance standards require for compliance. In some standards the objectives can be very det...
متن کاملModel-Based Quality Assurance of Automotive Software
Software in embedded (e.g. automotive) systems requires a high level of reliability. Model-based development techniques are increasingly used to reach this goal, but so far there is relatively little published knowledge on the comparative benefits in using different assurance techniques. We investigate different and potentially complementary model-based software quality assurance methods (namel...
متن کاملA Generic Framework for Automated Quality Assurance of Software Models Supporting Languages of Multiple Paradigms
Software Quality Assurance (QA) is a key area in the development and maintenance of scientific software systems in order to ensure the reliability of the output generated by such systems. Approaches taken in implementing QA within the lifecycle include manual techniques, which require developer intervention, and automated techniques, which can be completed by analysis toolsets. Manual QA techni...
متن کاملFrom Software Quality Control to Quality Assurance
This paper addresses the transformation of traditional software quality control techniques to a proactive quality assurance program within embedded systems and other mission critical software: Software plays an increasingly important role in every product and organization. The number of mission critical applications, those with a high cost of failure (air traffic control systems and other life ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005